Symbolic execution

#	Item
151	PDF Document Add to Reading List Source URL: cm.bell-labs.com Language: English - Date: 2005-06-15 11:35:57 Software testing Abstract interpretation Symbolic execution Stack Subroutine Code coverage Exception handling Assertion KeY Software engineering Computer programming Computing
152	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-05 17:25:15 Software quality Fuzz testing Symbolic execution Software bug Sage Constraint programming Security bug Vulnerability Concolic testing Software testing Software engineering Computing
153	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2007-08-27 18:56:10 Science Software quality Algorithm Reliability engineering Symbolic execution KeY Software testing Fuzz testing Formal methods